Merge branch 'wip/otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 22 Jul 2020 18:08:24 +0000 (18:08 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 22 Jul 2020 18:08:24 +0000 (18:08 +0000)
timsort: Actually 0-terminate the array in get_runs()

See merge request GNOME/gtk!2274


Trivial merge